For example, he showed that the Cantor set is rationals are everywhere dense, but countable.
2.
By construction, the smooth completion is a projective curve which contains the given curve as an everywhere dense open subset, and the added new points are smooth.